Algebraic Informatics [[electronic resource] ] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / / edited by Franz Winkler |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 261 p. 23 illus., 1 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
ISBN | 3-642-21493-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465402803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction in Geometry [[electronic resource] ] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VII, 229 p.) |
Disciplina | 516/.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Geometry
Artificial intelligence Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition |
ISBN |
1-280-30680-7
9786610306800 3-540-24616-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving. |
Record Nr. | UNISA-996465927903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction in Geometry [[electronic resource] ] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VII, 229 p.) |
Disciplina | 516/.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Geometry
Artificial intelligence Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition |
ISBN |
1-280-30680-7
9786610306800 3-540-24616-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving. |
Record Nr. | UNINA-9910768434103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Symbolic and Numerical Scientific Computation [[electronic resource] ] : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers / / edited by Franz Winkler, Ulrich Langer |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 392 p.) |
Disciplina | 515/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Numerical analysis
Computer science—Mathematics Computer-aided engineering Computer mathematics Numeric Computing Science, Humanities and Social Sciences, multidisciplinary Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer-Aided Engineering (CAD, CAE) and Design Computational Mathematics and Numerical Analysis |
ISBN | 3-540-45084-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Symbolics and Numerics of Differential Equations -- Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial Systems -- Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems -- Passive Complete Orthonomic Systems of PDEs and Involutive Bases of Polynomial Modules -- Symmetries of Second- and Third-Order Ordinary Differential Equations -- Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations -- On the Numerical Analysis of Overdetermined Linear Partial Differential Systems -- Dynamical Aspects of Involutive Bases Computations -- Symbolics and Numerics in Algebra and Geometry -- Congestion and Almost Invariant Sets in Dynamical Systems -- Datagraphs in Algebraic Geometry and K3 Surfaces -- Resultants and Neighborhoods of a Polynomial -- Multi-variate Polynomials and Newton-Puiseux Expansions -- Wavelets with Scale Dependent Properties -- Accurate Numerical Fourier Transform in d-Dimensions -- Exact Real Computation in Computer Algebra -- Symbolic Methods for the Element Preconditioning Technique -- Applications in Physics and Engineering -- Solving Symbolic and Numerical Problems in the Theory of Shells with Mathematica® -- A Symbolic Procedure for the Diagonalization of Linear PDEs in Accelerated Computational Engineering -- Generation of the Quasi-solitons in the Lasers: Computer Algebra Approach to an Analysis -- Nonlinear Periodic Waves in Shallow Water. |
Record Nr. | UNINA-9910143886803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Symbolic and Numerical Scientific Computation [[electronic resource] ] : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers / / edited by Franz Winkler, Ulrich Langer |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 392 p.) |
Disciplina | 515/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Numerical analysis
Computer science—Mathematics Computer-aided engineering Computer mathematics Numeric Computing Science, Humanities and Social Sciences, multidisciplinary Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Computer-Aided Engineering (CAD, CAE) and Design Computational Mathematics and Numerical Analysis |
ISBN | 3-540-45084-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Symbolics and Numerics of Differential Equations -- Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial Systems -- Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems -- Passive Complete Orthonomic Systems of PDEs and Involutive Bases of Polynomial Modules -- Symmetries of Second- and Third-Order Ordinary Differential Equations -- Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations -- On the Numerical Analysis of Overdetermined Linear Partial Differential Systems -- Dynamical Aspects of Involutive Bases Computations -- Symbolics and Numerics in Algebra and Geometry -- Congestion and Almost Invariant Sets in Dynamical Systems -- Datagraphs in Algebraic Geometry and K3 Surfaces -- Resultants and Neighborhoods of a Polynomial -- Multi-variate Polynomials and Newton-Puiseux Expansions -- Wavelets with Scale Dependent Properties -- Accurate Numerical Fourier Transform in d-Dimensions -- Exact Real Computation in Computer Algebra -- Symbolic Methods for the Element Preconditioning Technique -- Applications in Physics and Engineering -- Solving Symbolic and Numerical Problems in the Theory of Shells with Mathematica® -- A Symbolic Procedure for the Diagonalization of Linear PDEs in Accelerated Computational Engineering -- Generation of the Quasi-solitons in the Lasers: Computer Algebra Approach to an Analysis -- Nonlinear Periodic Waves in Shallow Water. |
Record Nr. | UNISA-996465508203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|